It is now well-known that Newton–Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton–Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly (...) and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton–Cartan geometry and pave the way for further applications of Newton–Cartan theory in condensed matter physics. (shrink)

It seems impossible to foresee man's future. However, we do see clearly that the past determines our present in many realms : language, concept of the world, religion, science, law. Moreover, certain biological and physiological conditions appear to be so characteristic of the human species that we would not really be concerned with humanity if men managed to free themselves of these conditions.

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...) a prototype natural-language-understanding system is presented as an illustration. (shrink)

The preceding five years have brought remarkable advances in our understanding of the primary structure of drug receptors. The roles of certain amino acid residues in binding drugs and effecting receptor function have been proposed. As even more detailed structures become available, the goal of rational design of drug molecules based on predicted fits between the drug and its receptor will be near at hand. Although none of the classical receptors has yet yielded to X‐ray crystallographic analysis, the methods of (...) molecular biology facilitate the production of the large amounts of these rare proteins necessary for crystallization. Receptor proteins share one fundamental characteristic with allosterically regulated enzymes. Both have the structural flexibility that allows information to be transmitted to distant parts of the molecule. We will discuss recent observations about receptor structure and the dynamic nature of drug receptors, and pose questions about the significance of receptor dynamics for drug design. (shrink)

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? Yes: Everything (...) makes sense. The question is: What sense does it make?" This essay explores what sense it makes to say that syntax by itself is sufficient for semantics. (shrink)

A critique of several recent objections to John Searle's Chinese-Room Argument against the possibility of "strong AI" is presented. The objections are found to miss the point, and a stronger argument against Searle is presented, based on a distinction between "syntactic" and "semantic" understanding.

This functional Magnetic Resonance Imaging study investigated high and low suggestible people responding to two visual hallucination suggestions with and without a hypnotic induction. Participants in the study were asked to see color while looking at a grey image, and to see shades of grey while looking at a color image. High suggestible participants reported successful alterations in color perception in both tasks, both in and out of hypnosis, and showed a small benefit if hypnosis was induced. Low suggestible people (...) could not perform the tasks successfully with or without the hypnotic induction. The fMRI results supported the self report data, and changes in brain activity were found in a number of visual areas. The results indicate that a hypnotic induction, although having the potential to enhance the ability of high suggestible people, is not necessary for the effective alteration of color perception by suggestion. (shrink)

Philosophy has been characterized (e.g., by Benson Mates) as a field whose problems are unsolvable. This has often been taken to mean that there can be no progress in philosophy as there is in mathematics or science. The nature of problems and solutions is considered, and it is argued that solutions are always parts of theories, hence that acceptance of a solution requires commitment to a theory (as suggested by William Perry's scheme of cognitive development). Progress can be had (...) in philosophy in the same way as in mathematics and science by knowing what commitments are needed for solutions. Similar views of Rescher and Castañeda are discussed. (shrink)

A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNePS computational knowledge-representation system, (...) the essay analyzes Keller’s belief that learning that “everything has a name” was the key to her success, enabling her to “partition” her mental concepts into mental representations of: words, objects, and the naming relations between them. It next looks at Herbert Terrace’s theory of naming, which is akin to Keller’s, and which only humans are supposed to be capable of. The essay suggests that computers at least, and perhaps non-human primates, are also capable of this kind of naming. (shrink)

The evolutionist challenge to moral realism is the skeptical challenge that, if evolution is true, it would only be by chance, a “happy coincidence” as Sharon Street puts it, if human moral beliefs were true. The author formulates Street’s “happy coincidence” argument more precisely using a distinction between probabilistic sensitivity and insensitivity introduced by Elliott Sober. The author then considers whether it could be rational for us to believe that human moral judgments about particular cases are probabilistically sensitive to strongly (...) universal fundamental moral standards of cooperation and fair division. The author provides an explanation of why there would be a benign correlation between human moral judgments in particular cases and the requirements of strongly universal fundamental moral standards. The explanation of the benign correlation is based on group selection for groups of individuals with an egalitarian satisficing psychology and egalitarian norms, because of the ability of such groups to more efficiently solve gene-propagation collective action problems. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

A critical study of John Searle's Minds, Brains and Science (Cambridge, MA: Harvard University Press, 1984).

Syntactic semantics is a holistic, conceptual-role-semantic theory of how computers can think. But Fodor and Lepore have mounted a sustained attack on holistic semantic theories. However, their major problem with holism (that, if holism is true, then no two people can understand each other) can be fixed by means of negotiating meanings. Syntactic semantics and Fodor and Lepore’s objections to holism are outlined; the nature of communication, miscommunication, and negotiation is discussed; Bruner’s ideas about the negotiation of meaning are explored; (...) and some observations on a problem for knowledge representation in AI raised by Winston are presented. (shrink)

“Contextual” vocabulary acquisition is the active, deliberate acquisition of a meaning for a word in a text by reasoning from textual clues and prior knowledge, including language knowledge and hypotheses developed from prior encounters with the word, but without external sources of help such as dictionaries or people. But what is “context”? Is it just the surrounding text? Does it include the reader’s background knowledge? I argue that the appropriate context for contextual vocabulary acquisition is the reader’s “internalization” of the (...) text “integrated” into the reader’s “prior” knowledge via belief revision. (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

Ford’s Helen Keller Was Never in a Chinese Room claims that my argument in How Helen Keller Used Syntactic Semantics to Escape from a Chinese Room fails because Searle and I use the terms ‘syntax’ and ‘semantics’ differently, hence are at cross purposes. Ford has misunderstood me; this reply clarifies my theory.

The author uses a series of potential counterexamples to argue against attempts by Bergmann and Plantinga to articulate a distinction between malignant and benign epistemic circularity and, more radically, to argue that epistemic circularity per se is no fallacy, and the concept of epistemic circularity plays no role in the explanation of why some instances of epistemic circularity are irrational. The author contrasts an inferential framework, in which circularity is a problem, with an equilibrium framework, in which the concept of (...) circularity plays no useful role and argues that defeasible reasoning can only be understood in an equilibrium, not an inferential, framework. The author uses an example of reasoning about the reliability of one’s own memory to explain how seemingly malignant epistemic circularity can be rational in an equilibrium framework. The author discusses the relevance of this conclusion to two contemporary issues: the cogency of Plantinga’s Evolutionary Argument against Naturalism and the evolutionary naturalists’ challenges to non-naturalist moral realism—and, indeed, to all forms of non-naturalist normative realism. (shrink)

This paper describes the SNePS knowledge-representation and reasoning system. SNePS is an intensional, propositional, semantic-network processing system used for research in AI. We look at how predication is represented in such a system when it is used for cognitive modeling and natural-language understanding and generation. In particular, we discuss issues in the representation of fictional entities and the representation of propositions from fiction, using SNePS. We briefly survey four philosophical ontological theories of fiction and sketch an epistemological theory of fiction (...) using a story operator and rules for allowing propositions to migrate into and out of story spaces. (shrink)

The philosophy of religion as a distinct discipline is an innovation of the last two hundred years, but its central topics--the existence and nature of the divine, humankind's relation to it, the nature of religion and its place in human life--have been with us since the inception of philosophy. Philosophers have long critically examined the truth of (and rational justification for) religious claims, and have explored such philosophically interesting phenomena as faith, religious experience and the distinctive features of religious discourse. (...) The second half of the twentieth-century has been an especially fruitful period, with philosophers using new developments in logic and epistemology to mount both sophisticated defenses of, and attacks on, religious claims. The Oxford Handbook of Philosophy of Religion contains newly commissioned chapters by 21 prominent experts who cover the field in a comprehensive but accessible manner. Each chapter is expository, critical, and representative of a distinctive viewpoint. The Handbook is divided into two sections. The first, "Problems," covers the most frequently discussed topics, among them arguments for God's existence, the problem of evil, and religious epistemology. The second is called "Approaches" and contains four essays assessing the advantages and disadvantages of different methods of practicing philosophy of religion. The Handbook offers contributors of high stature who present substantive and in-depth treatment of the most central topics. It is a must-have reference for anyone with an interest in philosophy and religion. (shrink)

I argue that George Nakhnikian's analysis of the logic of cogito propositions (roughly, Descartes's 'cogito' and 'sum') is incomplete. The incompleteness is rectified by showing that disjunctions of cogito propositions with contingent, non-cogito propositions satisfy conditions of incorrigibility, self-certifyingness, and pragmatic consistency; hence, they belong to the class of propositions with whose help a complete characterization of cogito propositions is made possible.

With the careful use of the polywater episode in the history of chemistry as a case study, I will show that the distinction recently made in the philosophy of science between experimenting on an entity and manipulating that entity is best seen as a distinction between experimenting on, and experimenting with, that entity. The polywater case also reveals that Ian Hacking's 1983 manipulability criterion is not a necessary condition for realism, and that scientists can, and do, justifiably change their minds (...) as to the reality of theoretical entities. (shrink)

This essay is part of a dossier on Cristina Lafont's book Democracy without Shortcuts.

Although philosophical theologians have sometimes claimed that human beings are necessarily dependent on God, few have developed the idea with any precision. Jonathan Edwards is a notable exception, providing a detailed and often novel account of humanity’s essential ontological, moral, and soteriological dependence on God.

This essay examines the role of non-existent objects in "epistemological ontology"--the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Aussersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.

Among the traditional list of divine attributes it is commonly said that God is a person. Making a distinction between being a person and having a personality, it is argued that God cannot be a person because it makes no sense to think of him as having a personality. Problems with the notion of divine personality are considered stemming from God’s perfection, his infinity, his omniscience, his rationality, his morally good nature and his gender neutrality. Three generic types of response (...) to these problems are considered, but each is found wanting. It is concluded that the problems with personality apply as much to the human case as to the divine. (shrink)

Socrates is one the most important thinkers in western philosophy, yet he remains enigmatic, having left behind no works of his own. Instead, his thought is understood primarily through the work of his followers. In this accessible introduction, William Prior assesses Socrates the man, his famous trial, and the nature of his philosophy.

The doctrine of the spiritual senses has played a significant role in the history of Roman Catholic and Eastern Orthodox spirituality. What has been largely unremarked is that the doctrine also played a significant role in classical Protestant thought, and that analogous concepts can be found in Indian theism. In spite of the doctrine’s significance, however, the only analytic philosopher to consider it has been Nelson Pike. I will argue that his treatment is inadequate, show how the development of the (...) doctrine in Puritan thought and spirituality fills a serious lacuna in Pike’s treatment, and conclude with some suggestions as to where the discussion should go next. (shrink)

ABSTRACTBritish Idealism was the philosophical school which dominated during the last quarter of the nineteenth century. Using the ideas of Bernard Bosanquet, John Caird and Andrew Seth Pringle-Pattison as an illustration, this paper looks at some of the ways in which the British Idealists sought to develop new and more subtle conceptions of the transcendent, able to resist the corrosive effects of late nineteenth-century critical and naturalistic thinking. The paper concludes by looking at three fields – philosophy, theology and literature (...) – in which it is possible to discern the ongoing influence into the first half of the twentieth century of their efforts. (shrink)

Part I argues that ontological arguments, like other classical proofs of the existence of God, are parts of larger arguments in which they are embedded. These larger arguments include reasons supporting the proofs’ premises and responses to them, and to the proofs’ claims to validity and non-circularity, since, in the final analysis, our assessment of the proofs will express our best judgment of the cumulative force of all the considerations bearing on their overall adequacy. Part II illustrates these points by (...) examining contemporary defences of, and attacks on, one of the ontological argument’s central premises, namely, that God’s existence is logically possible. (shrink)

This paper examines the meaning and function of the term "mind" as C. S. Peirce uses it, in analogous senses, throughout his writings. Specifically, we will consider the use of this term in three sub-contexts, that of his metaphysic, his epistemology, and his cosmology. The first will deal the reality of mind in relation to Peirce's ontological categories, including the question of his "objective idealism" and its relation to his self-imputed realism. The second will consider how mind functions within Peirce's (...) pragmaticism, and its connection with his theory of abduction as applied by the community of inquirers. The third will investigate the role of mind in the Peircean cosmology, encompassing its relation to his categories, and its function in his theory of the evolution of the cosmos. The third sub-context will examine, in detail, the relation of this evolutionary process to Peirce's categories in their cosmological guise as tychasm, anancasm, and synechism. ;The main thesis propounded will be that Peirce's peculiar brand of objective idealism is compatible with some contemporary forms of realism, if one takes seriously his key distinction between existence as Secondness, and reality as Thirdness. Mind, then, is seen as exhibiting the latter, but not the former. (shrink)